The Symbolic

Results: 605



#Item
21

1 First Steps This introductory chapter presents the way the Sage mathematical system thinks. The next chapters of this first part develop the basic notions: how to make symbolic or numerical computations in analysis, h

Add to Reading List

Source URL: members.loria.fr

- Date: 2018-03-13 12:27:01
    22

    Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

    Add to Reading List

    Source URL: www.sci.brooklyn.cuny.edu

    - Date: 2003-04-29 19:30:12
      23

      Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

      Add to Reading List

      Source URL: rd.host.cs.st-andrews.ac.uk

      - Date: 2008-04-13 07:08:42
        24

        Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

        Add to Reading List

        Source URL: cadabra.science

        - Date: 2017-03-01 04:55:53
          25

          Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

          Add to Reading List

          Source URL: research.microsoft.com

          - Date: 2009-09-21 16:41:38
            26

            Proceedings of the European Control Conference 2009 • Budapest, Hungary, August 23–26, 2009 MoC10.1 Control of Infinite Symbolic Transition Systems under Partial Observation

            Add to Reading List

            Source URL: www.irisa.fr

            - Date: 2009-09-03 06:47:36
              27

              The Three Symbolic Supports of the Dharma: Teaching on the Benefits of Constructing Statues and Stupas A Teaching by

              Add to Reading List

              Source URL: 029e714.netsolstores.com

              - Date: 2015-10-01 05:46:47
                28

                Symbolic vs. Concrete Testing Mooly Sagiv Program Path • Program Path – A path in the control flow of the program

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-04-28 09:10:31
                  29

                  SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 The program March 28, 2016 (Monday)

                  Add to Reading List

                  Source URL: 54.200.129.9

                  - Date: 2016-03-27 05:02:02
                    30

                    Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    - Date: 2014-09-13 07:14:29
                      UPDATE